13 found
Order:
  1.  7
    Proceedings from 5th Scandinavian Logic Symposium, Aalborg, 17-19 January 1979.Finn V. Jensen, B. H. Mayoh & Karen K. Møller (eds.) - 1979 - Aalborg: distruberet af Aalborg Universitetsforlag.
  2.  19
    Frank B. Cannonito. Hierarchies of computable groups and the word problem. The journal of symbolic logic, vol. 31 , pp. 376–392.B. H. Mayoh - 1968 - Journal of Symbolic Logic 33 (1):121.
  3.  26
    Y. N. Moschovakis. Recursive metric spaces. Fundamenta mathematicae, vol. 55 , pp. 215–238.B. H. Mayoh - 1966 - Journal of Symbolic Logic 31 (4):651-652.
  4.  32
    Viola: A new visual programming language designed for the rapid development of interacting agent systems.C. J. Topping, M. J. Rehder & B. H. Mayoh - 1999 - Acta Biotheoretica 47 (2):129-140.
    The construction of complex simulation models and the application of new computer hardware to ecological problems has resulted in the need for many ecologists to rely on computer programmers to develop their modelling software. However, this can lead to a lack of flexibility and understanding in model implementation and in resource problems for researchers. This paper presents a new programming language, Viola, based on a simple organisational concept which can be used by most researchers to develop complex simulations much more (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  5.  48
    Donald Kalish and Richard Montague. Logic. Techniques of formal reasoning. Harcourt, Brace & World, Inc., New York and Burlingame 1964, x + 350 pp. [REVIEW]B. H. Mayoh - 1970 - Journal of Symbolic Logic 34 (4):641-642.
  6. Review: Frank B. Cannonito, Hierarchies of Computable Groups and the Word Problem. [REVIEW]B. H. Mayoh - 1968 - Journal of Symbolic Logic 33 (1):121-121.
  7. Review: M. O. Rabin, Computable Algebraic Systems; Michael O. Rabin, Computable Algebra, General Theory and Theory of Computable Fields. [REVIEW]B. H. Mayoh - 1967 - Journal of Symbolic Logic 32 (3):412-413.
  8.  36
    Rabin M. O.. Computable algebraic systems. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, pp. 134–138.Rabin Michael O.. Computable algebra, general theory and theory of computable fields. Transactions of the American Mathematical Society, vol. 95 , pp. 341–360. [REVIEW]B. H. Mayoh - 1967 - Journal of Symbolic Logic 32 (3):412-413.
  9.  24
    Review: Rolf Schock, Logik. [REVIEW]B. H. Mayoh - 1969 - Journal of Symbolic Logic 34 (4):642-642.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  10.  21
    Rolf Schock. Logik. Almqvist & Wiksell, Stockholm 1967, 105 pp. [REVIEW]B. H. Mayoh - 1970 - Journal of Symbolic Logic 34 (4):642-642.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  11.  16
    Review: Yiannis N. Moschovakis, Notation Systems and Recursive Ordered Fields. [REVIEW]B. H. Mayoh - 1966 - Journal of Symbolic Logic 31 (4):650-651.
  12.  17
    Review: Y. N. Moschovakis, Recursive Metric Spaces. [REVIEW]B. H. Mayoh - 1966 - Journal of Symbolic Logic 31 (4):651-652.
  13.  20
    Yiannis N. Moschovakis. Notation systems and recursive ordered fields. Compositio mathematica, vol. 17 no. 1 , pp. 40–71. [REVIEW]B. H. Mayoh - 1966 - Journal of Symbolic Logic 31 (4):650-651.